7dc238b12da104224bdb3d64edea5b5e150964faf868556bbc05d346590e3664  test/test0006/proof
